e sends a == e':E. e' receives a & sender(e') = e 

latex

---

clarification:

es-send-atom(es;e;a) == e':es-E(es). es-rcv-atom(es;e';a) & es-sender(es; e') = e  es-E(es) 

latex

Definitions	x:A. B(x), A & B, e receives a, E, sender(e)
FDL editor aliases	es-send-atom